Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
DIOTO, M.; ERAS, E. R.; SANTIAGO JÚNIOR, V. A. On the feasibility of probabilistic model checking to analyze battery sustained power supply systems. In: INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, 19. (ICCSA), , Saint Petersburg, Russia. Proceedings... 2019. p. 743-757. ISBN 978-303024288-6. ISSN 03029743. DOI: <10.1007/978-3-030-24289-3_5>. Disponível em: <http://doi.org/10.1007/978-3-030-24289-3_5>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Dioto, Eras e Santiago Júnior (2019).
... pode ser encontrada na literatura (DIOTO; ERAS; SANTIAGO JÚNIOR, 2019).